machinist theory